Initial algebra - PDFSEARCH.IO - Document Search Engine

Initial algebra
Results: 96

#	Item
71	(November 9, [removed]Basic categorial constructions Paul Garrett [removed] http://www.math.umn.edu/˜garrett/ Add to Reading List Source URL: www.math.umn.edu Language: English - Date: 2010-11-09 09:07:51 Coproduct Functor Universal property Limit Category Morphism Initial and terminal objects Epimorphism Sheaf Category theory Abstract algebra Product
72	Topos Theory I. Moerdijk and J. van Oosten Department of Mathematics Utrecht University 2007 Add to Reading List Source URL: www.staff.science.uu.nl Language: English - Date: 2007-05-16 08:02:45 Sheaf theory Presheaf Functor category Functor Grothendieck topology Initial and terminal objects Sheaf Yoneda lemma Natural transformation Category theory Abstract algebra Functors
73	Final Coalgebras as Greatest Fixed Points in ZF Set Theory∗ Lawrence C. Paulson [removed] Computer Laboratory, University of Cambridge, England Received 1 March 1999 Add to Reading List Source URL: www.cl.cam.ac.uk Language: English - Date: 2003-04-29 07:49:48 Category theory Binary operations Functional programming F-coalgebra Initial algebra Coalgebra Function Cartesian product Exponentiation Mathematics Abstract algebra Type theory
74	12345efghi UNIVERSITY OF WALES SWANSEA REPORT SERIES CALCO-jnr 2005 Add to Reading List Source URL: www-compsci.swan.ac.uk Language: English - Date: 2006-06-27 18:09:16 Algebra F-coalgebra Initial algebra F-algebra Coalgebra Functor Equivalence of categories Universal property Structure Category theory Abstract algebra Mathematics
75	martinLoefRetirementVolumeMain.dvi Add to Reading List Source URL: www.cs.swan.ac.uk Language: English - Date: 2011-06-09 14:56:40 Category theory Functional programming Data types Type theory Coalgebra Recursion Initial algebra F-coalgebra List Software engineering Declarative programming Computer programming
76	Homology and Cohomology of Stacks (Lecture 7) February 19, 2014 Add to Reading List Source URL: www.math.harvard.edu Language: English - Date: 2014-02-19 10:50:40 Scheme theory Functor Initial and terminal objects Grothendieck topology Limit Spectrum of a ring Étale morphism Universal property Sheaf Abstract algebra Algebra Category theory
77	Deloopings in Algebraic K-theory Gunnar Carlsson Add to Reading List Source URL: math.stanford.edu Language: English - Date: 2003-11-11 17:47:23 Homotopy theory Algebraic topology Functors Simplicial set Nerve Natural transformation Coproduct Initial and terminal objects Equivalence of categories Category theory Abstract algebra Mathematics
78	Derivatives of Containers Michael Abbott1 , Thorsten Altenkirch2, Neil Ghani1 , and Conor McBride3 1 Add to Reading List Source URL: www.cs.nott.ac.uk Language: English - Date: 2006-05-01 19:44:49 Functors Cartesian closed category Limit Universal property Natural transformation Sheaf Full and faithful functors Initial and terminal objects Product Category theory Abstract algebra Mathematics
79	THE DOLD-KAN CORRESPONDENCE 1. Simplicial sets Add to Reading List Source URL: people.fas.harvard.edu Language: English - Date: 2011-05-30 10:51:31 Algebraic topology Homotopy theory Functors Homological algebra Simplicial set Sheaf Representable functor Simplex category Initial and terminal objects Abstract algebra Mathematics Category theory
80	FUNCTORIAL SEMANTICS OF ALGEBRAIC THEORIES* BY F. WILLIAM LAWVERE REED COLLEGE, PORTLAND, OREGON Add to Reading List Source URL: www.pnas.org Language: English - Date: 2005-04-22 14:56:27 Abstract algebra Functors Adjoint functors Category of rings Free object Algebraic theory Equivalence of categories Initial and terminal objects Natural transformation Category theory Mathematics Algebra

UPDATE